Перевод: с русского на английский

с английского на русский

dependent program

См. также в других словарях:

  • Dependent ML — is an experimental functional programming language proposed by Hongwei Xi and Frank Pfenning. Dependent ML extends ML by a restricted notion of dependent types: types may be dependent on static indices of type Nat. Dependent ML employs a… …   Wikipedia

  • Program Management — is the process of managing multiple ongoing inter dependent projects. An example would be that of designing, manufacturing and providing support infrastructure for an automobile manufacturer. This requires hundreds, or even thousands, of separate …   Wikipedia

  • Dependent States — ▪ 2009 Introduction Europe and the Atlantic.       For a list of populated Dependent States, see Table (Dependent States).       In May 2008 Ilulissat, Greenland, was the site of an international summit on Arctic sovereignty attended by official… …   Universalium

  • Program optimization — For algorithms to solve other optimization problems, see Optimization (mathematics). In computer science, program optimization or software optimization is the process of modifying a software system to make some aspect of it work more efficiently… …   Wikipedia

  • Dependent type — Type systems Type safety Inferred vs. Manifest Dynamic vs. Static Strong vs. Weak Nominal vs. Structural Dependent typing Duck typing Latent typing Linear typing Uniqueness typing …   Wikipedia

  • Program slicing — In computer programming, program slicing is the computation of a program slice. The program slice consists of the parts of a program that may affect the values computed at some point of interest, referred as a slicing criterion. Program slicing… …   Wikipedia

  • Program for Evaluating Complementary Medicine — In 1998, the Swiss government began a comprehensive Program for Evaluating Complementary Medicine (PEK : Programm Evaluation Komplementärmedizin = Program for Evaluating Complementary Medicine) to study the role and effectiveness of complementary …   Wikipedia

  • program evaluation and review technique — noun A method for diagramming and analyzing the flow of dependent tasks and other events in a project. Syn: PERT …   Wiktionary

  • machine dependent — program which can only run on one type of computer …   English contemporary dictionary

  • Supplemental Nutrition Assistance Program — SNAP logo The United States Supplemental Nutrition Assistance Program (SNAP),[1] historically and commonly known as the Food Stamp Program, is a federal assistance program that provides assistance to low and no income people …   Wikipedia

  • Food Stamp Program — The US Food Stamp Program is a federal assistance program that provides food to low and no income people living in the United States. Benefits are distributed by the individual states, but the program is administered through the U.S. Department… …   Wikipedia

Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»